Negation in der Logikprogrammierung

Beschreibung:
Logikprogramme können sowohl als Rechenprozeduren als auch als logische Formeln gelesen werden, und für gewòhnliche Logikprogramme stimmen die beiden Lesarten überein. Bekanntlich lassen sich aber auch in prozeduralen Programmiersprachen logische Konstrukte (z. B. if then else) auf natürliche Weise einführen. Wenn man diese nützlichen Konstrukte jedoch wieder auf die Logikprogrammierung übertragen will (z. B. als negation as failure), so geraten sie in Konflikt mit der logischen Lesart der Programme selbst. Hat man etwa ein einfaches Programm mit einem einzigen Faktum

und einer einzigen Regel

so würde die prozedurale Lesart der Negation liefern, daß nichtnull(1)$, gilt, weil null(1)$ vom Programm nicht bestätigt wird. Logisch ist nichtnull(1) aus dem Programm aber keineswegs ableitbar. indent In der Veranstaltung werden verschiedene Ansätze besprochen werden, diese Diskrepanz zu heilen.

Zurück zur Übersicht